scrolledwindow: Don't hover the scrollbars while a button is being pressed
authorCarlos Garnacho <carlosg@gnome.org>
Thu, 5 Feb 2015 16:16:21 +0000 (17:16 +0100)
committerCarlos Garnacho <carlosg@gnome.org>
Thu, 5 Feb 2015 16:24:29 +0000 (17:24 +0100)
commit6b82ad48f65add2ae10392c65c431975dc969a69
tree2884ced7c906cc1fe403631f99e839675d5d2963
parent4ba2c9ad87aa9cdec1fc2e0c2f31a06049eca549
scrolledwindow: Don't hover the scrollbars while a button is being pressed

This avoids showing the scrollbars if we are positive the child widget
is being manipulated, regardless of the pointer being close to any of these.
On the next motion event after finishing the operation, the scrollbar will
be shown if necessary.

https://bugzilla.gnome.org/show_bug.cgi?id=743894
gtk/gtkscrolledwindow.c